1. A structural account of mathematics
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematics ; Philosophy. ; Structuralism. ; Constructive mathematics. ;
2. Apartness and uniformity a constructive development
پدیدآورنده : Bridges, Douglas S.,Douglas S. Bridges, Luminia Simona V
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Constructive mathematics.
رده :
QA
8
.
A6
B7
2011
3. Bounded arithmetic, propositional logic, and complexity theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Constructive mathematics. ; Proposition (Logic) ; Computational complexity. ;
4. Callege mathematics integral analysis
پدیدآورنده : S.U. Kamat, V.D. Deshpande,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Calculus,Constructive mathematics
رده :
QA
.
K3
303
1980
5. Constructibility & mathematical existence
پدیدآورنده : CHIHARA,CHARLES S
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : MATHEMATICS-PHILOSOPHY , CONSTRUCTIVE MATHEMATIC , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
8
.
4
.
C45
6. Constructive mathematics: proceedings of the New Mexico State University Conference held at Las Cruces, New Mexico, Augustll-15, 1980
پدیدآورنده : Edited by F. Richman
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Constructive mathematics - Congresses,Inuitionistic mathematics - Congresses
رده :
QA
3
.
L28
no
.
873
7. Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
پدیدآورنده : edited by F. Richman
موضوع : Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
8. Constructive physics
پدیدآورنده : / Y.I. Ozhigov
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Quantum theory--Mathematical models,Constructive mathematics.
رده :
QC174
.
17
.
M35O94
2011
9. Constructivism in mathematics
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Constructive mathematics. ;
10. Constructivism in mathematics
پدیدآورنده : A.S. Troelstra, D. van Dalen,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Constructive mathematics
رده :
QA
.
T74
9
.
56
1988
11. Constructivism in mathematics : an introduction
پدیدآورنده : Troelstra, A. S.)Anne Sjerp(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Constructive mathematics
رده :
QA
9
.
56
.
T74
1988
12. Differential and integral; a constructive introduction to classical analysis
پدیدآورنده : Lorenzen, Paul
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Calculus,، Constructive mathematics
رده :
QA
303
.
L87413
13. Epistemology versus ontology
پدیدآورنده : / Peter Dybjer, Sten Lindstreom, Erik Palmgren, Georan Sunholm, editors
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Constructive mathematics,Ontology,Mathematics, Philosophy,Martin-Leof, Per, 1942-
رده :
E-BOOK
14. Essays in constructive mathematics
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Constructive mathematics. ;
15. Essays in constructive mathematics
پدیدآورنده : / Harold M. Edwards
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Constructive mathematics
رده :
E-BOOK
16. Foundational Theories of Classical and Constructive Mathematics
پدیدآورنده : \ Giovanni Sommaruga Editor
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics -- Philosophy.,Constructive mathematics -- Philosophy.,ریاضیات -- فلسفه ,ریاضیات ساختنی -- فلسفه
رده :
QA
8
.
4
.
F6
2011
E-Book
,
17. Foundations of algorithms: using C++ pseudocode
پدیدآورنده : Neapolitan, Richard E.
موضوع : ، Algorithms,، Constructive mathematics,، Computational complexity
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
18. Foundations of algorithms
پدیدآورنده : Neapolitan, Richard E.
موضوع : ، Algorithms,، Constructive mathematics,، Computational complexity
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
19. Foundations of algorithms
پدیدآورنده : Neapolitan, Richard E.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Algorithms , Constructive mathematics , Computational complexity
رده :
QA
9
.
58
.
N43
1997
20. Foundations of algorithms : using C++ pseudocode
پدیدآورنده : Neapolitan, Richard E
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Algorithms,، Constructive mathematics,، Computational complexity
رده :
QA
9
.
58
.
N43
1997